Перевод: с английского на все языки

со всех языков на английский

logic entry

См. также в других словарях:

  • Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… …   Wikipedia

  • Logic bomb — A logic bomb is a piece of code intentionally inserted into a software system that will set off a malicious function when specified conditions are met. For example, a programmer may hide a piece of code that starts deleting files (such as a… …   Wikipedia

  • Logic model — The logic model is a general framework for describing work in an organization. Since work is often packaged in programs, it is often referred to as the program logic model. Definition In its simplest form, the logic model analyzes work into four… …   Wikipedia

  • -logic — comb. form (also logical) forming adjectives corresponding esp. to nouns in logy (pathological; theological). Etymology: from or after Gk logikos: see IC, ICAL * * * a combining form used in the formation of adjectives corresponding to nouns… …   Useful english dictionary

  • logic diagram — noun a graphical representation of a program using formal logic • Syn: ↑logical diagram • Hypernyms: ↑multidimensional language * * * logic diagram noun (computing) A diagram showing logical elements and interconnections without engineering… …   Useful english dictionary

  • Connexive logic — names one class of alternative, or non classical, logics designed to exclude the so called paradoxes of material implication. (Other logical theories with the same agenda include relevance logic, also known as relevant logic.) The characteristic… …   Wikipedia

  • Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… …   Wikipedia

  • Quantum logic — In mathematical physics and quantum mechanics, quantum logic is a set of rules for reasoning about propositions which takes the principles of quantum theory into account. This research area and its name originated in the 1936 paper by Garrett… …   Wikipedia

  • Solid State Logic — Infobox Company company name = Solid State Logic Ltd company company type = Private limited 05356783cite web|url=http://wck2.companieshouse.gov.uk/bf7c9fe07febfa9fcc6fd72a9a56dabb/companysearch?disp=res frfsh=1152656377#result|title=Companies… …   Wikipedia

  • History of logic — Philosophy ( …   Wikipedia

  • Term logic — In philosophy, term logic, also known as traditional logic, is a loose name for the way of doing logic that began with Aristotle, and that was dominant until the advent of modern predicate logic in the late nineteenth century.This entry is an… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»